Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course: 909 (Lecture Notes in Computer Science)
by Hubert Comon,Jean-Pierre Jouannaud
ISBN 13: 9783540593409
Format: Paperback (236 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings: 308 (Lecture Notes in Computer Science)
by Stephane Kaplan,Jean-Pierre Jouannaud
ISBN 13: 9783540192428
Format: Paperback (292 pages) Publisher: Springer Published: 13 Jun 2008
TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Proceedings: 668 (Lecture Notes in Computer Science)
by Marie-Claude Gaudel,Jean-Pierre Jouannaud
ISBN 13: 9783540566106
Format: Paperback (780 pages) Publisher: Springer Published: 22 Feb 2009